在使用描述逻辑本体论时，理解描述逻辑推理器得出的需要并不总是直接。到目前为止，标准的本体编辑器prot \'eg \'e提供了两种服务来帮助：（黑盒）owl 2 dl本科学的理由，以及（玻璃盒）对轻质猫头鹰的证明，后者在其中利用后者利用了。推理麋鹿的证明设施。由于理由通常不足以解释推论，因此仅几乎没有工具支持来解释更具表现力的DLS中的推论。在本文中，我们介绍了Evee-libs，这是一个用于计算DLS到炼金术的Java库和Evee-Protege，这是一个prot \'eg'eg'e插件的集合，用于在prot \'eg'eg'e中显示这些证明。我们还简要介绍了最新版本的evonne，这是一个更高级的独立应用程序，用于显示和与用evee-libs计算的证据进行交互。
translated by 谷歌翻译